Reasoning about Norms Provided by Connicting Regulations
نویسنده
چکیده
It often happens that several diierent regulations apply to a given organization. And sometimes, these regulations are connicting, that is, for instance, one regulation says that it is forbidden to do some action while another says it is permitted to do the same action. In this paper, we present a logic, called FUSION, to reason when several regulations are merged together. Our approach is to solve the connicts by giving an order of priority between the regulations to be merged. We present the axiomatics and semantics of FUSION and prove some \good" properties enforced by this logic.
منابع مشابه
DX: A Deontic Expert System
Social norms have a pervasive effect on our lives, affecting how and what we eat, how we dress, where and how we travel, our recreation, the way we work, and our participation in the society at large. Other social norms make constraints on the behavior of commercial companies and other institutions, affecting the way they do business, their treatment of employees, their treatment of the environ...
متن کاملRepresenting Arguments as Background Knowledge for the Justiication of Case-based Inferences
This paper examines the representation of background knowledge and its use in case-based reasoning. Case-based reasoning can be viewed as a particular form of problem-solving, based on the assessment of similarity of a new case to previously encountered cases, and the subsequent inference that an old solution also applies to the new case. To justify such inferences, we present a representation ...
متن کاملFrom Real-World Regulations to Concrete Norms for Software Agents – A Case-Based Reasoning Approach
When trying to use software agents (SAs) for real-world business and thereby putting them in a situation to operate under real-world laws, the abstractness of human regulations often poses severe problems. Thus, human regulations are written in a very abstract way, making them open to a wide range of interpretations and applicable for several scenarios as well as stable over a longer period of ...
متن کاملDo local tobacco regulations influence perceived smoking norms? Evidence from adult and youth surveys in Massachusetts.
Smoking behavior has been shown to be influenced by individuals' perceptions of social norms about smoking. This study examines whether local regulations regarding clean indoor air and youth access to tobacco are associated with residents' subsequent perceptions of smoking norms. Data came from Massachusetts surveys of adults and youths and from records of local tobacco control policies. Indice...
متن کاملGiving Permission Implies Giving Choice
This article presents the formalisation of the weak and strong permission in deontic logic based on the logic of enactment. A permission that follows from the absence of a prohibition, we call a weak permission; this permission is not enacted. A strong permission is always enacted (implicitly or explicitly), and implies a giving choice. The distinction between these two types of permission is a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998